Theorem Proving System - PDFSEARCH.IO - Document Search Engine

Theorem Proving System
Results: 96

#	Item
71	ON THE PROOF COMPLEXITY OF DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI ABSTRACT. We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-04-19 15:07:07 Mathematics Propositional calculus Automated theorem proving Logic in computer science Frege system Cut-elimination theorem Analytic proof Sequent calculus Substitution Logic Mathematical logic Proof theory
72	The Hob System for Verifying Software Design Properties by Patri k Lam Submitted to the Department of Ele tri al Engineering and Computer Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43
73	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
74	School of Computer Science and IT Editor: Dr Jon Garibaldi Automated Scheduling, Optimisation and Planning (ASAP) Research Group School of Computer Science and Information Technology The University of Nottingham Add to Reading List Source URL: www.asap.cs.nott.ac.uk Language: English - Date: 2012-03-24 15:11:14 Applied mathematics Mathematical optimization Reasoning Problem solving Automated theorem proving Hyper-heuristic Graham Kendall Memetic algorithm Reasoning system Science Operations research Artificial intelligence
75	Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor André Platzer is looking for talented researchers with a strong research track record for a project in t Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-14 23:11:52 Automated theorem proving Logic in computer science Mathematics Cyber-physical system Formal verification KeY Carnegie Mellon University Logic programming Theoretical computer science Formal methods Applied mathematics
76	A Proof Procedure Using Connection Graphs ROBERT K O W A L S K I University of Edinburgh, Edinburgh, Scotland ABSTRACT. Various deficiencies of resolution systems are investigated and a new theorem-proving system designe Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:52:43 Mathematical logic Rules of inference Resolution Logic programming Unit propagation Logic in computer science SL Cons First-order logic Theoretical computer science Mathematics Automated theorem proving
77	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science
78	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
79	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
80	CARNEGIE MELLON ETPS: A System to Help Students Write Formal Proofs by Peter B. Andrews Carnegie Mellon University Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 14:59:12 Mathematical proofs Predicate logic Peter B. Andrews Theorem Proving System First-order logic Direct proof Universal quantification KeY Function Mathematics Logic Mathematical logic

UPDATE